A subset of precise UML for Model-based Testing

This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. This approach is embedded in the LEIRIOS Test Designer tool and is currently deployed in domains such as Enterprise IT and electronic transaction applications. This model-based testing approach makes it possible to automatically produce the traceability matrix from requirements to test cases as part of the test generation process. This paper defines the subset of UML used for model-based testing and illustrates it using a small example

Multi-timescale Solar Cycles and the Possible Implications

Based on analysis of the annual averaged relative sunspot number (ASN) during 1700 -- 2009, 3 kinds of solar cycles are confirmed: the well-known 11-yr cycle (Schwabe cycle), 103-yr secular cycle (numbered as G1, G2, G3, and G4, respectively since 1700); and 51.5-yr Cycle. From similarities, an extrapolation of forthcoming solar cycles is made, and found that the solar cycle 24 will be a relative long and weak Schwabe cycle, which may reach to its apex around 2012-2014 in the vale between G3 and G4. Additionally, most Schwabe cycles are asymmetric with rapidly rising-phases and slowly decay-phases. The comparisons between ASN and the annual flare numbers with different GOES classes (C-class, M-class, X-class, and super-flare, here super-flare is defined as $\geq$ X10.0) and the annal averaged radio flux at frequency of 2.84 GHz indicate that solar flares have a tendency: the more powerful of the flare, the later it takes place after the onset of the Schwabe cycle, and most powerful flares take place in the decay phase of Schwabe cycle. Some discussions on the origin of solar cycles are presented.Comment: 8 pages, 4 figure

Dynamism in the solar core

Recent results of a mixed shell model heated asymmetrically by transient increases in nuclear burning indicate the transient generation of small hot spots inside the Sun somewhere between 0.1 and 0.2 solar radii. These hot bubbles are followed by a nonlinear differential equation system with finite amplitude non-homologous perturbations which is solved in a solar model. Our results show the possibility of a direct connection between the dynamic phenomena of the solar core and the atmospheric activity. Namely, an initial heating about DQ_0 ~ 10^{31}-10^{37} ergs can be enough for a bubble to reach the outer convective zone. Our calculations show that a hot bubble can arrive into subphotospheric regions with DQ_final ~ 10^{28} - 10^{34} ergs with a high speed, up to 10 km s-1, approaching the local sound speed. We point out that the developing sonic boom transforms the shock front into accelerated particle beam injected upwards into the top of loop carried out by the hot bubble above its forefront traveling from the solar interior. As a result, a new perspective arises to explain flare energetics. We show that the particle beams generated by energetic deep-origin hot bubbles in the subphotospheric layers have masses, energies, and chemical compositions in the observed range of solar chromospheric and coronal flares. It is shown how the emergence of a hot bubble into subphotospheric regions offers a natural mechanism that can generate both the eruption leading to the flare and the observed coronal magnetic topology for reconnection. We show a list of long-standing problems of solar physics that our model explains. We present some predictions for observations, some of which are planned to be realized in the near future.Comment: 44 pages, 20 figure

The Solar Cycle: A new prediction technique based on logarithmic values

A new prediction technique based on logarithmic values is proposed to predict the maximum amplitude (Rm) of a solar cycle from the preceding minimum aa geomagnetic index (aamin). The correlation between lnRm and lnaamin (r = 0.92) is slightly stronger than that between Rm and aamin (r = 0.90). From this method, cycle 24 is predicted to have a peak size of Rm (24) = 81.7(1\pm13.2%). If the suggested error in aa (3 nT) before 1957 is corrected, the correlation coefficient between Rm and aamin (r = 0.94) will be slightly higher, and the peak of cycle 24 is predicted much lower, Rm(24) = 52.5\pm13.1. Therefore, the prediction of Rm based on the relationship between Rm and aamin depends greatly on the accurate measurement of aa.Comment: 6 pages, 3 figures, Accepted for publication in Astrophysics & Space Scienc

Enzymatic and chemical degradation of curdlan targeting the production of β-(1 → 3) oligoglucans

Obtaining biologically active oligosaccharides from hydrolysed polysaccharides is nowadays of great interest. Curdlan is one of the polysaccharides with interesting properties and represents the main source for β-(1 → 3)-oligoglucans. Curdlan degradation remains a challenge due to its high resistance to hydrolysis. In this study, curdlan was hydrolysed both with mild acid treatments (TFA or H2SO4, 1 M) as well as with the use of an unpurified enzymic extract produced from Trichoderma harzianum. The kinetics of degradation and the production of the β-(1 → 3)-oligoglucans were followed in detail by HPAEC analysis. A comparison of results clearly demonstrated the advantage of the enzymic extract with a complete hydrolysis of the curdlan within 90 h whereas less than 25% hydrolysis yield can be reach with the acidic methodologies. More, the quality of the obtained compounds is particularly dissimilar even between the two acid treatments

Rapid Prototyping for Heterogeneous Multicomponent Systems: An MPEG-4 Stream over a UMTS Communication Link

<p/> <p>Future generations of mobile phones, including advanced video and digital communication layers, represent a great challenge in terms of real-time embedded systems. Programmable multicomponent architectures can provide suitable target solutions combining flexibility and computation power. The aim of our work is to develop a fast and automatic prototyping methodology dedicated to signal processing application implementation on parallel heterogeneous architectures, two major features required by future systems. This paper presents the whole methodology based on the SynDEx CAD tool that directly generates a distributed implementation onto various platforms from a high-level application description, taking real-time aspects into account. It illustrates the methodology in the context of real-time distributed executives for multilayer applications based on an MPEG-4 video codec and a UMTS telecommunication link.</p